√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

temporal operator中文什么意思

發(fā)音:   用"temporal operator"造句
  • 時(shí)間算子
  • temporal:    n. 太陽穴，顳部；顳骨[肌，動(dòng)脈等]。 adj. 顳的 ...
  • operator:    n. 1.操作者，機(jī)務(wù)員；司機(jī)，駕駛員；【軍事】電話兵； ...
  • temporal:    adj. 1.暫時(shí)的，一時(shí)的，轉(zhuǎn)瞬間的(opp. eternal)。 2.此世的，現(xiàn)世的；世俗的(opp. spiritual)。 3.時(shí)的，時(shí)間的 (opp. spatial) 【語法】表示時(shí)間的，時(shí)態(tài)的。 n. 1.一時(shí)的事物；俗事。 世事。 2.世俗的權(quán)力〔多指教會(huì)的財(cái)產(chǎn)和收入〕。 a temporal death 假死。 temporal aims 世俗的目標(biāo)。 temporal conjunctions 時(shí)間連接詞(如 when, while 等)。 temporal matters 世俗的事物。 temporal peers＝lords temporal 不居僧職的上院議員。 adv. -ly n. 太陽穴，顳部；顳骨[肌，動(dòng)脈等]。 adj. 顳的。 the temporal bone 顳骨。
  • and operator:    與算符; 與算子
  • and-operator:    與算子; “與”算子
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

例句與用法

  1. Temporal rover includes all of the temporal operators as well as others designed for discussing events that occurred in the past
    Temporal rover包括所有時(shí)態(tài)操作符以及為討論過去發(fā)生的事件而設(shè)計(jì)的其它操作符。
  2. They have proved to be useful for specifying concurrent systems , since they can describe the ordering of events in time without introducing time explicitly . in ctl * formulas are composed of path quantifiers and temporal operators
    和基于模擬、測(cè)試和演繹推理問題的傳統(tǒng)方法相比較,有著許多的優(yōu)點(diǎn),也已經(jīng)成功地實(shí)踐于檢驗(yàn)復(fù)雜的時(shí)序電路設(shè)計(jì)和通訊協(xié)議。
  3. Studying time ' s basic attributes in detail , a time model is made at first in this context . in addition , the temporal interval and time point are analyzed and their temporal relations are described with the temporal operators
    文中首先通過研究時(shí)間的基本屬性，確定表達(dá)時(shí)間的模型；進(jìn)而分析時(shí)態(tài)區(qū)間和時(shí)間點(diǎn)并描述兩者間時(shí)態(tài)關(guān)系，并引入時(shí)態(tài)算子描述這些關(guān)系。
  4. There are two quantifiers a ( for all computation paths ) and e ( for some computation path ) in path quantifiers ; and in temporal operators , there are five basic operators x ( next time ) , f ( eventually ) , g ( always ) , u ( until ) and r ( release ) . ctl * has two types of formulas : state formulas ( which are true in a specific state ) and path formulas ( which are true along a specific path ) ; and two useful sublogics : branching - time logic ctl and linear - time logic ltl . the distinction between the two is how they
    本文首先介紹了模型檢測(cè)的一些基本概念和理論,然后介紹了與其密切相關(guān)的、在檢驗(yàn)中用于描述系統(tǒng)屬性的時(shí)序邏輯,及實(shí)現(xiàn)模型檢測(cè)問題的方法,在基于上述關(guān)于概念、理論的基礎(chǔ)上,研究了診斷系統(tǒng)可診斷性的檢驗(yàn)方法,說明了一個(gè)給定設(shè)備的診斷條件被破壞時(shí)當(dāng)且僅當(dāng)有臨界對(duì)的出現(xiàn),并定義了設(shè)備的耦合孿生模型,說明如何用它來尋找臨界對(duì),最后使用模型檢測(cè)框架來構(gòu)造這個(gè)問題,把耦合孿生模型化簡(jiǎn)為模型檢測(cè)問題。

相關(guān)詞匯

        temporal:    n. 太陽穴，顳部；顳骨[肌，動(dòng)脈等]。 adj. 顳的 ...
        operator:    n. 1.操作者，機(jī)務(wù)員；司機(jī)，駕駛員；【軍事】電話兵； ...
        temporal:    adj. 1.暫時(shí)的，一時(shí)的，轉(zhuǎn)瞬間的(opp. eternal)。 2.此世的，現(xiàn)世的；世俗的(opp. spiritual)。 3.時(shí)的，時(shí)間的 (opp. spatial) 【語法】表示時(shí)間的，時(shí)態(tài)的。 n. 1.一時(shí)的事物；俗事。 世事。 2.世俗的權(quán)力〔多指教會(huì)的財(cái)產(chǎn)和收入〕。 a temporal death 假死。 temporal aims 世俗的目標(biāo)。 temporal conjunctions 時(shí)間連接詞(如 when, while 等)。 temporal matters 世俗的事物。 temporal peers＝lords temporal 不居僧職的上院議員。 adv. -ly n. 太陽穴，顳部；顳骨[肌，動(dòng)脈等]。 adj. 顳的。 the temporal bone 顳骨。
        and operator:    與算符; 與算子
        and-operator:    與算子; “與”算子
        no such operator:    操作員不存在
        not operator:    “非”標(biāo)符; 非算符; 求反算
        operator:    n. 1.操作者，機(jī)務(wù)員；司機(jī)，駕駛員；【軍事】電話兵；【電話】接線員，話務(wù)員(＝telephone operator)；【電報(bào)】報(bào)務(wù)員。 2.(外科)施行手術(shù)者。 3.掮客，經(jīng)紀(jì)人。 4.【語法】功能詞。 5.【數(shù)學(xué)】算子，算符。 6.經(jīng)營(yíng)者；〔美國(guó)〕工廠主，資方。 7.投機(jī)商人，騙子；精明圓滑的人。 8.【戲劇】燈光助理員。 an operator's set 話務(wù)員的電話機(jī)。 a telegraph operator 電報(bào)報(bào)務(wù)員。 an unitary operator 公正算符。 a mine operator 礦山經(jīng)營(yíng)者，礦主。
        operator a:    操作員a
        or operator:    或算符; 或運(yùn)算子
        or-operator:    或算子
        the as operator:    操作符
        the is operator:    操作符
        the operator:    生死連線
        temporal convolution; temporal gyrus:    顳回
        temporal ridge; temporal line:    顳脊
        temporal sulcus of temporal bone:    顳骨顳溝
        54) temporal:    一時(shí)的
        anterior temporal:    歲開始學(xué)習(xí)英語; 左腦的前側(cè)區(qū)
        inferior temporal:    顴下弓
        left temporal:    左顳的,左太陽穴的
        lords temporal:    〔英國(guó)〕上議院貴族議員。
        master of temporal:    時(shí)暫魔法大師
        multi-temporal:    多時(shí)相
        parieto - temporal:    左右腦的后側(cè)區(qū)

相鄰詞匯

  1. temporal muscle flap 什么意思
  2. temporal musculocutaneous flap 什么意思
  3. temporal nephrostomy 什么意思
  4. temporal nerves 什么意思
  5. temporal opening 什么意思
  6. temporal optic atrophy 什么意思
  7. temporal order of combinations 什么意思
  8. temporal orientation 什么意思
  9. temporal parallax 什么意思
  10. temporal parallelisom 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.